Specification Refinement for Meta Code Patterns
نویسندگان
چکیده
Code pattern is proposed for component based software development (CBSD). A code pattern is used to capture the typical usages of a set of components as well as the interactions between them. Composition operations are defined to synthesize the glue code based on a repository of code patterns. Meta code patterns are patterns for components that share the same functionalities. In this paper, we briefly introduce the idea of code patterns. We discuss the pattern refinement process on meta code patterns and the map operation on code patterns. The refinement is to instantiate the meta code pattern to concrete pattern and then to code that is ready for use in the program. Signature refinement and functional refinement are discussed together with their application to meta code patterns. We use a case study to illustrate the basic idea and the process of how pattern refinement can lead to the final glue code from the meta code patterns.
منابع مشابه
Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several application domains. This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.
متن کاملMeta-Specification and Cataloging of Software Patterns with Domain Specific Languages and Adaptive Object Models
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagrams or source code. Patterns are knowledge that comes from experience. Sharing patterns is sharing knowledge. Currently, an abstract and standardized way for specifying software patterns doesn’t exist. There isn’t any si...
متن کاملPrecise Specification and Automatic Application of Design Patterns
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of specifying how a design pattern is applied: by phrasing it as an algorithm in a meta-programming language. We present a prototype of a tool that supports the specification of design patterns and their realization in a give...
متن کاملMCDASH: Refinement-Based Property Verification
This paper presents MCDASH, a refinement-based model checker for machine code. While model checkers such as SLAM, BLAST, and DASH have each made significant contributions in the field of verification/flaw-detection, their use has been restricted to programs for which source code is available. This paper discusses several challenges that arise when working with machine code, and explains how the...
متن کاملTraceability Across Refinement Steps in UML Modeling
Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in differe...
متن کامل